
val expr_at_range: string -> Common.filename -> unit

val synthesize_patterns: string -> Common.filename -> unit
